hacks for ubuntu 14.04