bugfix: get_pid did not return