[MariaDB developers] Re: fixes for your commits to make buildbot green