Temporary repository for the new ArsTeXnica build system