Point platform_build to my modified fork.
The only change is that gcc-4.6 toolchain is supported (and used as default)