Fix timing of php-src directory is created by git-submodule