pplatex fails without a TeX