Fix broken build on ps3 and rpi