[Bug 1394766] ghc-safe-0.3.13 is available