configure.in:
  this tree has version 5.1.23, release clone has version 5.1.23a-maria-alpha;
  it mostly matters because it makes the file's name 1 byte shorter
  and thus below tar's 99-chars limit...