my fork of the nand2tetris AUR PKGBUILD and other files, do demonstrate a proposed change (now upstream) - View it on GitHub