Joerg Steffens - 2011-06-17

patch for config-lib.pl