deftype AOT fix