non-numerical characters (if $VERSION was e.g. "4.1.8a", $MYSQL_VERSION_ID
  resulted in "40108a", which broke the build as MYSQL_VERSION_ID must be
  numerical)


configure.in:
  - make sure that MYSQL_VERSION_ID does not contain any non-numerical characters
    (if $VERSION was e.g. "4.1.8a", $MYSQL_VERSION_ID resulted in "40108a", which
    broke the build as MYSQL_VERSION_ID must be numerical)