travis: bugfixes