char *getScoreFilename(int);
char *getSetupFilename(void);
char *getEditorSetupFilename(void);
-char *getElementInfoFilename(void);
+char *getDemoAnimInfoFilename(void);
+char *getDemoAnimTextFilename(void);
char *getImageFilename(char *);
char *getCustomImageFilename(char *);
char *getCustomSoundFilename(char *);