Fix inline assembly on x86_64 for gcc with -O.