Fixed printf/dprintf, should call do_vprintf rather than do_printf