ltsmin.hh and libspotltsmin.la
ltlmin.hh
is installed, but libspotltsmin.la
is not (it was easier for Debian packaging), so something has to be done.
Apparently Maximilien uses it, since he was quick to point the problem, so I guess we need to install both and have another Debian package for that library.