fix php_source to avoid compile errors