fix ubuntu 12.04 bugs