NUL-terminate the string returned by readfile().