Squash a -Wformat-security warning (ml).

-Wformat-security warns about this call to logSymbol() since it passes
the symbol name as the format string.  This could theoretically
be exploited by somehow getting format string escapes into a symbol name.

Fixed because of a build which added -Wformat-security and -Werror,
which led to a build failure.