open.py: start explorer.exe on cygwin