static void build_script(string const & from_file,
string const & to_file,
string const & from_format,
string const & to_format,
ostream & script)
{
static void build_script(string const & from_file,
string const & to_file,
string const & from_format,
string const & to_format,
ostream & script)
{