enable_debianabimanager.diff
fix-versionnumber.patch
