lambdaclass/pinocchio_lambda_vm not found