Make win64 work