substituteAllFiles: add derivation