genmenu is a bash script, it should work ok on all platforms. I could verify that on amd64 it works for me. Reproducible: Always Steps to Reproduce:
finally marked testing, sorry for the big delay