remove obsolete extension