update random.hpp