make sure we define correct arch for 64 bit