Make autoconf happy on ubuntu 13.10