"Unable to find program image" error even when file exists

[IkerGalardi]

I've been using version 2.1.0 of the tool to develop the kvm port (#423). When rebasing to a newer version, the test case I was using (https://github.com/ikergalardi/sel4-webserver) started failing on the final image creation command:

$ vendor/microkit-sdk/bin/microkit webserver.system \
                                   --search-path ./build \
                                   --board qemu_virt_aarch64 \
                                   --config release \
                                   -o build/loader.img -r build/report.txt
Error: "unable to find program image: 'build/serial_driver.elf'"

From the same working directory, running the file command with the same path shows that the file is accessible.

$ file build/serial_driver.elf 
build/serial_driver.elf: ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), statically linked, with debug_info, not stripped

[midnightveil]

The names of the files in the .system file are filenames (not paths) underneath one of the search directories you specify in the command line. As you specify --search-path ./build the file in the SDF should be referenced as serial_driver.elf.

[IkerGalardi]

Even when removing the --search-path flag the same error is generated (commenting line 92 on the Makefile). This has been introduced in commit b8f9768.