quickfixes after update to Ubuntu 14.10