Fix build on Debian 7 wheezy