Hi Andrew and thanks for the tip. Indeed there is a new version of mplayer and it supports jpeg out. Thus, I'll add the thumbnails for this weeks version.