make use of String.fromCString() again