This reverts commit 183ca77. Now the "mbed_trace.h" header is always available and maps trace functions to dummy macros when tracing is disabled.
183ca77