Fix the script run by Travis