Better timing in linux too