Major oops, the equality for source location was a bit broken.

|tmp:///| would be equal to everything that also started
with |tmp://| ... not the other way around..