Fix make distcheck
Release 3.12.1