0001-Disable-bittools-extension.patch
0002-Robust-definition-list-generation.patch
