complementary x86_64-xlate.pl update.