This came up in https://github.com/micropython/micropython-lib/pull/527, and we have a workaround there, but getting this right will be required to make os.path work correctly.

The windows port current returns / from os.sep but should be \. We should fix that, as well as implementing os.altsep for unix/windows (return None on unix, / on windows).