No matches were found for subject:"Bug#642903\: nodm\: config failure still happens, makes dist\-upgrade to Wheezy fail"