- Reduced verbosity of the symbolic tool.
- Fixed automake warnings.