Fixes in int_finder as well as package paths and imports in lll-reduction.