[Bug 1222542] ghc-simple-sendfile-0.2.25 is available