Control: severity -1 important with libstdc++6 now built from gcc-7, lowering the severity. Do we still need an update for stretch?