develop: adapt mysql install to be compatible with debian installation style.