Correction du bug pour make distcheck