Hack to replace Definition.t with Definition.LString.t