Divers changements pour make distcheck