use true filename for index in continue-db

- file-truename resolves links, so that there is no confusion about
  which file the sourcemarker belongs to