Minor change to our .travis.yml file (mainly wanted to change its hidden attribute on Windows).