Use newer SHA in yesod-platform