add missing random.h