Make it work under Debian Wheezy