bump rocksdb to 6.17.3 (again) (#3077)

7 jobs for master in 26 minutes and 46 seconds (queued for 2 seconds)