More debugging of Travis CI problems...