providing api for deinit (worker process shutdown)
Cosmetics for Issue #76