install yesod-platform