fixed compilation errors in proc.c