0001-Disable-bittools-extension.patch
0002-Robust-definition-list-generation.patch
0003-Force-textual-cli.patch
