use a temporary hack to work around autoconf