linker_unload

[Karel Gardas]

On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote:
> Would it be possible to update your `sudo apt-get update`&  `sudo
> apt-get dist-upgrade` your Linux environment with the latest bugfixes to
> Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already
> fixed upstream...

I'm not sure, but IMHO this will lead to upgrade to 14.04.1. What you 
should use is probably
`sudo apt-get update` &  `sudo apt-get upgrade`

Karel