fixed compilation warnings due to int64 being cast into a int