More fixes related to use of stdint.h
Fixed a regression