added include stdint.h for FreeBSD