Adopted new configure script of Gauche 0.9.4