Fixing travis problems