0001-Disable-bittools-extension.patch
0002-Robust-definition-list-generation.patch
0003-Fix-README-path.patch
0004-Do-not-install-cli-tools.patch
