Download patch
ref: 1748296ca86784fb84c9070ad6d2bb7bc9406173 parent: 5169005b1330dcfbadd6f1e8d944493cfd00c420 author: Ori Bernstein <ori@eigenstate.org> date: Thu May 22 21:25:19 EDT 2025
mk: initialize 'files' in main (thanks A. Kozdra)