version=`autoconf --version 2>/dev/null | awk '{print $3}'`
if test "$version" != "2.13"; then
echo "ERROR: Please install autoconf 2.13"
version=`autoconf --version 2>/dev/null | awk '{print $3}'`
if test "$version" != "2.13"; then
echo "ERROR: Please install autoconf 2.13"