[PATCH v2 1/5] util: Be more defensive about buffer overruns in read_file()