Redirect update-dev output to /dev/null, as it is in principle possible
for it to write to stdout and that would interfere with debconf.