provenance to cerr now
changes to configure.pl