hack to make it work on MSWin32