Path from Thomas Heller: resurrect the .def file kludge while preserving the

/export option mini-kludge.