add replace-path-with-truename function