Not really part of the pull request, but I wonder why writing to file is depecrated. I think writing to stdout is useless for tools because any other output can break the tools (e.g. pragma(msg,"import abc").