Update against oasis dev (fix a bug in configure)