update for x86_64-gen.c