Fixed compilation error on debian Wheezy, gcc 4.7.2, 32bit (thanks,
Thomas Fähnle)