[Bug 1296133] ghc-derive-2.5.25 is available