Shut up GCC41 warning: different pointer signedness