Small fix in tools/Random.cpp

Allows Random objects to be declared as static.