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