Hi Jim, Hi Jeff,

   Would one or both of you mind trying out the attached patch ?

   I think that it should work, although I am not sure if it ought
   to be extended so that the all_symbols_read and cleanup plugin
   functions are actually called.

Cheers
   Nick