Another patch for the ./configure
dash's echo doesn't know about the -e option