linux changes for timers, also 10000 bodies