Removed unused stuff from tools/