#autoconf complains if this is not here