Added include of stdio.h

Fixes compiling under Linux (12.04). Otherwise I get an error for the use of printf.