Stone 0.1: Other (and last one) patch for the ./configure script

dash's echo doesn't know about the -e option