Rename ^:extern flag to ^:export.