win32: use more portable type