Partial fix to STM32F4discovery emulator build.