Fix version_check.sh Sources archive checking when using '--release=...' parameter
Merge remote-tracking branch 'origin/master'
Update README_saucy_known_issues.txt