in sage-spkg, DOT_SAGE might not exist