linux fixes and script for timing
update timings