Another cmake/travis fix.