mawk should work. But Ubuntu 16.04 gave me lots of issues, especially with
the default g++-5.4.0 compiler and LTO, which I reported to the gcc
maintainers and are supposedly fixed in 5.5. The bugs didn't happen with
g++-4.9.x. So I advise you to upgrade to a more recent version of Ubuntu.
On Wed,
I've tried symlinking awk to both gawk(4.1.3) and mawk, but I still get the
same error. I'm using Ubuntu 16.04.
Also, I've made the changes in the proposal. Now that I'm aware roughly
about the tasks to be done, I think it's better to stick to either one of
BOT plate mode or BREP support. If time