Fixing timer marshalling problems (TimerManager)