Fix to install old version of PHP from source code