* Scripts needed for configure.in