Trying to get rid of travis-ci NOTE of travis-tool.sh at top level