Rename of the properties added in the IOExtensions.h