--- ./src/Mixfix/lexerAux.cc.orig	2014-09-03 02:54:57.000000000 +0200
+++ ./src/Mixfix/lexerAux.cc	2014-09-03 02:55:40.000000000 +0200
@@ -35,7 +35,7 @@
 bool fakeNewlineStack[MAX_IN_DEPTH];
 
 void
-getInput(char* buf, int& result, int max_size)
+getInput(char* buf, size_t& result, size_t max_size)
 {
   result = YY_NULL;
   if (UserLevelRewritingContext::interrupted())
--- ./src/Mixfix/lexerAux.hh.orig	2014-09-03 02:56:33.000000000 +0200
+++ ./src/Mixfix/lexerAux.hh	2014-09-03 02:57:05.000000000 +0200
@@ -27,7 +27,7 @@
 //extern int inStackPtr;
 //extern YY_BUFFER_STATE inStack[];
 
-void getInput(char* buf, int& result, int max_size);
+void getInput(char* buf, size_t& result, size_t max_size);
 void lexerIdMode();
 void lexerTokenTreeMode(int terminatingTokens);
 void lexerCmdMode();