Changes to enabled on-line compiler

include/timer_interface.h/shortlog@082731ede69f: not found in manifest