fix Win64 trouble with new binary