fixed error with int64 vs int32 in thredds server