2023/05/26: La compilazione con il SimulDrv fallisce su aringa: si impone l'esclusione del SimulDrv dalla piattaforma ppc
