--- texk/ptexenc/ptexenc.c +++ texk/ptexenc/ptexenc.c 2012-11-25 06:22:00.000000000 +0000 @@ -7,6 +7,7 @@ #include #include #include +#include #include #include