Update the is_single_proc_inst_running and Makefile