+SAGE (machine-full.sh, together with latex).