Show TeX export option only if pdftex is present/