missing FrontendOptions import, from merging I guess