travis: don't move tools/

It is used by travis.