Further corrections to the PHPUnit config for Travis CI.