Fix an ancient (but relatively inconsequential until recently) bug where
files read were not NULL terminated.