See ../kpathsea/MACHINES.
