more debug code for Travis