Update dbgprint.c