This file is only here to make GNU autoconf happy.
