Fix leveldb build problem (the script is now executable by default).
Merge pull request #2 from janos666/master

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