even more debugging code for travis tests