On 12.01.2018 13:53, Gilles Gravier wrote: > A quick question to the OP... Is the machine an AMD machine (not AMD64, > I mean AMD processor versus Intel)? it is a: Intel® Core™ i5-2500 CPU @ 3.30GHz × 4