Fixes after installing ubuntu 14.04