debian_configure_the_source