Fix update_db command in jenkins.sh.