On 28 January 2015 at 15:55, Gabor Ballabas <gaborb at inf.u-szeged.hu> wrote: > Right now I'm working on an upgrade from Ubuntu 14.04 to 14.10. > I hope that will solve the issue. No worries, thanks! cheers, --renato