Added specific version numbers compatible with Debian 7.2