Fix distcheck
3.13.4