Funziona... ma resta il problema dei colori sfalsati.
Stavo smanettando un po' con diff, per quello avevo rinominato i file, ma ora capisco perché diff non diceva nulla.
Comunque meglio non continuare qua il discorso dell'altra discussione.