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