desugarer reads from file outputs to file, both specified in command line