added debian setting