File libtprl-console.patch of Package libtprl

--- ./tprl/console.cpp.orig	2008-11-28 07:50:29.000000000 +1100
+++ ./tprl/console.cpp	2008-11-28 07:50:15.000000000 +1100
@@ -12,7 +12,9 @@
 
 #include <iostream>
 #include <iomanip>
+#include <algorithm>
 
+#include <string.h>
 #include <readline/readline.h>
 #include <readline/history.h>