Update for Debian 7.4