Added actual files for TinyConsole.