use platform independent string formatting