Trying to fix this lousy Travis stuff.