Fix leveldb build problem (the script is now executable by default).