Bug: Install yesod-platform, too.