Update against oasis dev (fix a bug in configure)
Format