Changes to enabled on-line compiler

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