new version of readAllFromFile

* forgot to add this to the previous push