Arch: fixed import IFC again (better this time)