Make file names and URNs agree.