Have the boost random number generator working