Restored the old platform numbers for build.sh and environ.sh. They were changed in 3086.
Authored by: plombo 2011-03-06
Parent: [r3129]
Child: [r3131]