Rename randombytes.h to external/randombytes.h