More debugging of travis config