mysql install dev lib