compiling got me a sculpt.iso file, wanted a scult.img file

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul 8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-- 1 paul paul 163M 1 déc 11:20 sculpt.iso [paul@betakard genode]$

was expecting a sculpt.img file... to put on my USB key. Tried to write the sculpt.iso file on my USB key but it did not boot.

What am I missing?