1.0.3.14: fix print_obj on x86-64