Fix PS3 build