fix problem on travis