ubuntu/debian: fix the fix