Travis CI hacks