Remove ifc-specific stuff (moved to other repo).