Cosmetic fixes for 64k leak support in heartbleed.c