Fixing the Travis-CI build.

OK, trying a little simplification.