fix for 64bit Windows