fix travis here too