project: just SMC_FILENAME, because this variable will be used in other contexts, too
project: just SMC_FILENAME, because this variable will be used in other contexts, too

sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc