No matches were found for subject:"Bug#899108\: vlc\: after last security update \(stretch\), whenever vlc is started the gui is 10 times larger than normal."