installed_platform
const char *installed_platform(void);
if (strcmp(installed_platform(), "ps3") != 0)