Fix stdint types missing

The custom int types are now removed from typedefs, replaced with the C99 standard stdint types.
Various files to support that fix