Fix the seed of PRNG
include Time.h before trying to use gettimeofday()