Fix a bug in travis ci environment