Fix #754: Emit last compatible IR version