Hi, the attached patch removes a leftover in configure.in. Emanuele