(hopefully) fixing the travis build