Attempt to fix Travis running of PHPUnit