small change to adjustable timebase implementation on linux