Log Message: Fix patch-aa to correctly use strcat, and to be C89 compliant. Patch supplied by Christian Biere in PR#34738.