Here to make sure autoconf does not screw up