fix Travis support