No matches were found for subject:"Bug#939516\: dpkg\: debian\/rules 'configure' rule does not always recreate configure file"