Comment 4 for bug 1108006

This can be considered a duplicate of upstream http://bugs.mysql.com/bug.php?id=42969. But then again, it was fixed by introducing INFO_BIN, which is supposed to replace mysqlbug when used to get the compilation info. In particular, it also contains the CMake options used for the build.