Even more debugging of Travis CI problems...