reference precise link to ubuntu 12.04 64-bit box