fix in ubuntu 14.04