getpid is available on Windows - I don't think you need any special handling here.