Version 3.5.2a

- Minor bugfixes to thread killing