fix 32bit warning linux