fix build on Debian 7 wheezy