Ottimo consiglio! Lo varrà 3 euro, tutto il tempo che ci sto impiegando a reinstallare, disinstallare, ripatchare, ecc.!!!