Fix install script to work with php -r