ubuntu 14.04 fixes