modify for platform-dependent charcters