Switch to 64-bit Precise since 64 bit is best bit