workaround for getpid; now works on windows