Fix segfault on debian wheezy