Bumped version number to 20140225
Fixed make_dist.sh script
Merge branch 'release-20140225' into develop