Renames tools

See #1