should run in travis ci