Add 'php --version' to ./test/install-extensions.sh