* Allow disabling the synchronisation with threads on quit,
  necessary if process is forked (no threads on child process)
* Fix typo and include (forgotten) processlib_before_4_12.sip