Comment by brkcmd

According to mysql bug 69512 [1] this particular issue was the result of a build process error and was not intentional.

[1]: http://bugs.mysql.com/bug.php?id=69512