Remove SUPPLEMENTARY.jflex-macro.
make ZZ_BUFFERSIZE customizable.