Let's see if Travis CI will cope with this.