Thank you for the hint. Unfortunately that patch doesn't apply correctly. I located the 10.0 equivalent, but it's part of a larger merge (http://bazaar.launchpad.net/~maria-captains/maria/10.0-base/revision/3941#support-files/CMakeLists.txt). Should I append the small patch to the formula?