Can you please have a look if virtual/awk is sufficient or if gawk is needed.
uses "awk" in Makefile, but $(AWK) '{ printf("0x%02X\tU+%s\n", FNR-1, $$1) }' is posix conform, so virtual/awk is fine.