Fix to make php-src directory untimly