Fix header issues for random.hpp