mysql57 configure: add new include directory