Arch: added a prefs option to use a custom IFC schema