--- src/atipcirename.h.orig 2013-02-07 04:53:52.000000000 -0300 +++ src/atipcirename.h 2018-06-17 21:57:35.025129536 -0300 @@ -35,6 +35,7 @@ }; #include "xf86Module.h" +#include <stdint.h> #if GET_ABI_MAJOR(ABI_VIDEODRV_VERSION) >= 12