sec2annotation returns malloc'ed buffer directly to printf as an
argument. Patch lets free this buffer after printing.