add_debian_abi_manager.diff
