Applied patch to fix bug in autoconf file