Re #7987. Adding now needed include for debug printing.