Modified sage-shell:sagetex-load-file.