Fix thumbnail filename determination (Fixes #1945)
release 2013.12.11.1