don't process debugput.h twice