fix ubuntu 14.04