Attempt to fix tool installation on Travis