Fix #1058: Allow exporting protected members
Merge pull request #1063 from gzm0/export-protected

Fix #1058: Allow exporting protected members