remove unsupported TypeHoles extension and make compatible with lens 4