chiark / gitweb /
cleanup: turn off some unused flex options