Stone 0.1 : Add a patch to fix the ./configure file

Here is a patch to repair the ./configure file, that contained an ugly bash-ism.