History coin-or-OS-flex-bison.patch