Bug 4093: source-maintenance.sh errors and warnings due to wrong tools/options