Fix for #19 pushd fails with: No such file or directory.

As reported at #19 by @ivanblagdan and help from @marcosdsanchez phpenv install would foil if php-src folder doesn't exist.
It is not required at this point as init will do the initialization and create the folder best we only change to it a little later.