1 synopsis: Fix the platform string for GNU/Hurd
7 Depending who you ask, GNU/Hurd will be labelled "gnu" or "hurd". The autotools
8 use "gnu", so ghc follows this for installed files, even if the ghc source code
9 uses OSHurd. We thus need to add the translation between the two.