Another try to fix travis weirdness