Fix DBGPRINT() macro.