Another Travis-CI possible fix...