Travis ci tweak