[Python-Dev] WinCE port (issues #4075 #4051)