PHP updates

Let's bring the new stuff from https://github.com/CHH/php-build/pull/197 to travis-ci.