remove finally cedet