added debug property so the DEBUG header can be set at runtime.