  o Minor bugfixes (memory):
    - Fix memory leaks of the CPU worker code during shutdown. Fixes bug 833;
      bugfix on 0.3.5.1-alpha.
