apt-packeges: moved tex to 9