Create randombytes.h