diff -ru orig/AmberTools/src/ptraj/utility.h amber12/AmberTools/src/ptraj/utility.h
--- orig/AmberTools/src/ptraj/utility.h	2012-01-03 20:46:27.000000002 +0100
+++ amber12/AmberTools/src/ptraj/utility.h	2013-11-18 17:05:02.238375000 +0100
@@ -67,7 +67,7 @@
 
 #  ifdef __STDC__
 
-extern void * safe_malloc(int);
+extern void * safe_malloc(size_t);
 extern void * SafeMalloc(char *, int, size_t);
 extern void * safe_realloc(void *, int, int);
 extern void   safe_free(void *);