mrueg@gentoo.org Manuel Rüger tex Use phonon for video embedding texstudio