x86_64: include .type and .size directives in the output, for valgrind