Version 1.2.5: Switch to using dist/ for builds instead of dist/VERSION.
Merge branch 'develop'