Re: [GHC] #12598: configure script: --enable-unregisterised default printed incorrectly