fix Travis builds (hopefully!)