Added sagetex-load-file.