Use new format mysql pid file