Upgrade phpbrew to 1.13.2 and also change install script