debian installation rule