[Bug 999337] ghc-derive-2.5.13 is available