Fix CI on Travis