Aggiunta installazione dell'header.
Corretto bug su set_real.
Varie.