more Travis ci fixes