Make it so that 4.1-dev passes automake 1.12.2's scrutiny.