ARTE: better subst() for filenames