Thanks! That seems to be it. However, there's something very strange in my system if I try apt-get update and then apt-get install autoconf2.67. The system says I need to remove 631 packages! And these 631 include some rather essential ones. Thanks again.