jsoninfo: helpers: get_string_from_file ensures '\0' in the first byte