fixed "bug" in debian config