fix travis (did you already see such a commit message? :)