/* dummy for autoconf */