Fix Travis builds