include/starpu.h: define uintptr_t if needed

include/starpu.h

@@ -27,6 +27,7 @@ typedef unsigned char uint8_t;
 typedef unsigned short uint16_t;
 typedef unsigned long uint32_t;
 typedef unsigned long long uint64_t;
+typedef unsigned long int uintptr_t;
 #endif
 
 #include <starpu_config.h>