Updated recipe for AUCTex

Fixes #1187