Check build on yesod-platform 1.2.5.2