Just discovered the (git-file-name ...) function. This is a simple update to the metamath patch to use this instead of manually using string-append.