(Hopefully) fix Travis builds