tinycc/VERSION