Fix Travis-CI build (hopefully)