linux: include <stdint.h> in arc4random.c