Updated wrapper and execution in the modulo extension to run with the
new library