Use correct 64-bith arch