building for 64 bits