[gambit-list] how to produce .c files