Fix up use of cmake in travis config.