Make the timer update once per second- improves speed on real hardware by accessing stderr less.
More optimization tweaks, define 'deployment' flags