Fix install_prereqs.sh for PHP 5.6