Fixed a thing in the process_mgmt header file and the linux C file
Merge origin/master