Changing Travis PHPUnit binary