fix issue #61: file names are c14n