We should really include sodium/*.h, but back out the randombytes one for now