Embed MineLoveCraft demo and use modified demo file names