If all else fails, look at what your distribution has, download them manually and use dpkg to install. (Debian has 1.8.8 for example)Read More...