Don't reinstall yesod-platform.