Fix crash on debian wheezy + gcc4.7.2