Unter Linux kann nur der im System installierte VLC genutzt werden (weil
wir keine statisch compilierten vlc-libs mitliefern können).

Leider erhält man unter einem 32-Bit Linux nun ein SIGSEGV, wenn die Videos
abgespielt werden.