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