Make PTex support optional

Basically makes configuration log much cleaner on systems
where PTex is not installed.