No matches were found for subject:"Bug#552988\: why\-config doesn't recognize the version of Alt\-Ergo"