Make portia installable
...and uninstallable