Update to use a proper options file, and to use the installer (with PR testing)