remove 'const char *' cast for printf