tests indicate that readFile works