Improvment in configure script related to MySQL include directory management.