sagetex: not working right now?