enable_debianabimanager.diff
work-around-Sage-no-root.diff
