Fix autogen.sh failure on Linux systems.