throw an error when trying to use a deleted process ID. fixes #3685