version 20.10.2013 (build.sh fix)