remove pdf2htmlex: too much hassle to fix it
pypy: hint about tcl/tk headers/libs paths