Remove second #include <stdint.h> in util.h
Merge pull request #392 from caitp/stdint

Remove second #include <stdint.h> in util.h