add "set -e" to run-php5.bash