Update Debian 7 and CentOS 6 builds.