Fixup the dwfl_end () cleanup.