Update getnumprocs.c