Hardened Travis CI builds