*** ./vpx/vpx_integer.h.ORIG	Thu Feb  3 20:15:25 2011
--- ./vpx/vpx_integer.h	Thu Feb  3 20:15:43 2011
***************
*** 49,55 ****
--- 49,57 ----
  #if defined(__cplusplus) && !defined(__STDC_FORMAT_MACROS)
  #define __STDC_FORMAT_MACROS
  #endif
+ #ifndef _AIX51
  #include <stdint.h>
+ #endif
  #include <inttypes.h>
  
  #endif
*** ./vpx_ports/vpxtypes.h.ORIG	Thu Feb  3 20:17:32 2011
--- ./vpx_ports/vpxtypes.h	Thu Oct 28 15:14:14 2010
***************
*** 22,29 ****
--- 22,31 ----
  
  #if defined(HAVE_STDINT_H) && HAVE_STDINT_H
  /* C99 types are preferred to vpx integer types */
+ #ifndef _AIX51
  # include <stdint.h>
+ #endif
  #endif
  
  /*!\defgroup basetypes Base Types