remove sagetex dependency