Reverting travis.setup.php