try to fix travis issue