redundant-opt-files script: Fix deleted port output

The last change was flawed; for deleted ports it was writing out the
origin, but it should be writing out the appropriate ports cache
database directory.