Fix debian compat