Produce an appropriate CoconutKit.h file