fixed problem with literal integer ui64 in Windows; now compatible in win and unix