Manually merging 4.1.13a into general 4.1

support-files/mysql.spec.sh:
  Auto merged
zlib/inftrees.h:
  Auto merged
configure.in:
  Manually merging 4.1.13a into general 4.1 - version remains at 4.1.14