Fixed a problem with the configure script: we need to check