Error: Error: path (="tmp/2017-02-25-152742-rubiks.sagews.html") must start with "tmp/2015-02-25-205353.tex"