Patch from Olly Betts: replace printf() with fputs() to avoid a warning due to the compiler being unable to work out that there cannot be a % in the first argument to printf