fix for build in PHP web server