A portable MySQL server