Fix ofchecker not to include malloc header as part of malloc_usable_size return value