Tex fixes

Fix building documentation on GNU/Linux.