add command line support for changing desugaring flag