2013-05-21: updated SPECS/builder.sh