Use older version of autoheader from autoconf 2.13 for PHP 5.3