Hopefully fix Travis builds