Как определить, был ли заголовочный файл посещен в Mbed

Я использую Mbed для написания кода для KL46Z, и у меня возникают проблемы со ссылками на некоторые переменные, найденные в заголовочных файлах нижнего уровня. Так как вся компиляция выполняется на их серверах, я не могу передать какие-либо параметры компилятора. Мне интересно, как я мог бы сказать, на какие заголовочные файлы в библиотеке Mbed ссылаются?