remove some older, obsolete extension checks