alternate fix: Segfault on second read of simple file