Added "../lib/random.hpp" header