Install things properly

This fixes #1.