(hopefully) fix Travis builds