show some output from satis, for debugging