fix PHP_EXT_S