Buenas. Como hablamos en persona, lo que te está pasando es que estás trabajando en un sistema operativo (en tu caso una máquina virtual) de 32 bits, y nuestro autotest fue generado y pre-compilado en una máquina de 64 bits.
La solución es trabajar en una máquina de 64 bits.