Fix for Debian 7