Tmp: fix Travis