Minor fix to travis_installer.php