don't annotate ExternalDefs anymore