Fix missing debug header