Check to build on yesod-platform-1.2.12