fix PHP-master