#
#
# patch "txt2c.cc"
#  from [34ec5950e374163319ec21308bc7215bce635bfb]
#    to [ce9a9030cd612c9b12dd2b415a2c04197b2b1614]
#
============================================================
--- txt2c.cc	34ec5950e374163319ec21308bc7215bce635bfb
+++ txt2c.cc	ce9a9030cd612c9b12dd2b415a2c04197b2b1614
@@ -26,6 +26,7 @@ using std::rename;
 using std::ostringstream;
 using std::ofstream;
 using std::rename;
+using std::remove;
 using std::strerror;
 using std::string;