Fix NOCONFIGURE usage in autogen.sh