fixed printf-family errors with int64 on i386