De-functioned, because it breaks apt-get(?!)