read symbols from file, add back in check for unmodified