#5244: Block ghc-neither from: devel