Report DejaGnu ERROR messages in dg-extract-results.