make debug header configurable. 

fix #49