(Hopefully!) fix Travis CI build