other doubt... if i want the pentium64-max configuration what command should i use ? just cmake .; make ?