Fix build error on ps3