Fixed a bug that caused 'make dist' unable to patch leveldb.

Review: https://reviews.apache.org/r/24061