Renamed 'mach' directory to 'platform'