fix hardcoded db name in dspace-info.pl