fixes for pdf

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@8803 64cb5145-927a-446d-8aed-2fb7b4773692