Terrible workaround to fix charToId and idToChar on Linux