fix build bug for ubuntu13.04