Patched Support to reflect the change in the name of the properties in IOEXtensions.h