Fix SAGE-bootstrap