little changes for ubuntu 14.04