fixing stdio and adding a crude help message

if you're using C stdio you could just as well call "puts" instead of printf twice.
that saves a syscall and from pulling in the whole printf format string code into static binaries that just call writeln.