Undid wrong commit of gmon.out