FIX: Always try 64-bit?