One more fix for Debian 7.6