better diagnostics for travis script