Consistently use dbgs() in debug printing