get rid of stdint.h for portability