Forgot to add IceInst.def.