fix format specifier for printing HBytes

Since HBytes is a length/pointer pair and not a null-terminated
string, we must pass the length as an argument to printf. The correct
format specifier for that is "%.*s" (string with "precision" = length),
not "%*s" (string with minimum field width).