read_entire_file() now ensures its resulting buffer is NULL-terminated.