Nothing seems to use the "int64" type, and it apparently causes conflicts