* plugin.cpp (build_type): Print to dump_file instead of stderr.
(build_function_decl): Similar.
(execute_trace): Similar.
(make_fname_decl): Make generated fname shorter.