Fix configure script for --enable-zippy (tiny change)