Re: [Maria-developers] automake fixes for maria 5.1