pull the tinycc repo