Fixing bug in Travis php_setup.sh