write_jna: do not emit typedefed const char as String