Revert to 1.5.6-r2 platform.txt settings as default. Do not assume gcc-4.8.1.