Fix installation

Broken by #141.