improve debian support