Update and rename all_code.h to all_code64.h