for now disable DESTDIR on MSWin32 (open ticket #66)