Extract all the modules/theories to a single file when using the C backend