[Bug 834585] ghc-simple-sendfile-0.2.5 is available