Changes to enabled on-line compiler

include/shortlog@082731ede69f: not found in manifest