export DirectExportVisitor

Here's the pull request for #769.