Fix install-required-packages and list more packages
insert missing (in-package) declarations
fix compilation steps
harmonize filenames; will actually work to bundle a binary tarball now
submodule update