Added printing of file being read, changed means of reading output of symbolicate