Fix bootloader compilation on Mac OS X