fix extension problem with IcePy