So far so good, but could you also patch src/main.c to set it for command-line printing and exporting?