fix autoconf compilation (#3956)