Make init.sage work

Ideally we could later resume using `attach` directly.