Changed binary naming flag to OUTPUT_NAMING; Fixed binary_hook() to use 3 params
Merge branch 'master' of https://github.com/mbedmicro/mbed