lua : add an empty wrapper for export_dispatched