Put back older version of IFCEngine that actually works