Merge #11943: contrib: fix typo in install_db4.sh help message