Translate the Arch enum to an arch directory name. This is necessary for Linux builds...