further debugging of Travis behaviour