Fix bootloader compilation