Renamed 'extra/' directory to 'tools/'.