hopefully fix Travis builds