Fix generation of demo filename

Broken in cb4fd7c1b4 by removal of dot from DEMO_EXT.