Fix make distcheck
Release 3.13.2