added c++11 random number generation as an option