Fixing a bunch of problems in interval_timer
Minor tweak to build system