travis.yml: setting the hostname manually