added debian_mirror configuration variable with sensible default