PS3/PSL1GHT build fix (#67)

28 jobs for master in 7 minutes (queued for 56 minutes and 19 seconds)
latest