[PATCH] remove useless carta_random32.h