[Python-Dev] threads duplicated on fork() prevent child from terminating properly