Error: Error: path (="files.png") must start with "introduction.sagews"