[MariaDB developers] Re: How to debug build/project?