remove the (entirely useless) remnants of the extension system