Use the correct march for 32-bit