Patches for mysql configure problem [sf#576764] [#55]