Fix #419: Constructor export emits wrong DCE info.
Merge pull request #420 from sjrd/fix-constr-export-dce-info

Fix #419: Constructor export emits wrong DCE info.