Add default parameter for TimerManager.
Add random library.