Issue #85: Fix bootloader compilation on Linux after getting helloworld working on Windows.