Console printing broken in libnds 1.4.4

Console printing is broken since updating libnds to v1.4.4, i.e. printed text does not show up on screen.
This applys for the arm9 tamplate and many examples.

I checked the recent changes and saw the call to setvbuf was removed for stdout.
Readding the line (inside main.c of my project) makes printing work again.

ZIP archive contents:
main.c: demonstrates the problem
patch.diff: proposed fix (affects console.c in /trunk/libnds/source/arm9