Correct symbol violations reported by "make symcheck"