This file contains no information and is only meant to settle autoconf.