stdint.patch

diff -ru src/TonelliShanks.h b/TonelliShanks.h
--- src/TonelliShanks.h	2007-05-06 00:52:39.000000000 +0200
+++ b/TonelliShanks.h	2012-06-21 12:18:28.353358700 +0200
@@ -20,6 +20,7 @@
 ============================================================================*/
 
 #include <stdlib.h>
+#include <stdint.h>
 
 // =====================================================================
 // INTERFACE: