Added RefTex requirement.