fix props for moved files
scribble/sigplan: add `doi'