fix ubuntu13.10 build issue