Make the package name configurable

Alas, it will differ among systems.