travis clover fix