recipe: erc-tex