Use oasis devel, fix a small issue with the configure script.