fix Travis builds