#42: remove frontend/Compat