Update php-5.5.12-development.sh