Fix for PR1567, which involves a weird bug on non-32bit architectures and silly C...