mkhtml: print output file names to stderr, not stdout