Sculpt: fail to build stdcxx port

Hi all, I wanted to try out the sculpt scenario from https://github.com/nfeske/genode.git.

However, when I create the depot archive for stdcxx with

tool/depot/create genodelabs/bin/x86_64/stdcxx

CROSS_DEV_PREFIX=/usr/local/genode-gcc/bin/genode-x86-

I get the following error:

Library stdcxx-c++98     MERGE    stdcxx-c++98.lib.a /usr/local/genode-gcc/bin/genode-x86-ar: basic_file_stdio.o: No such

file or directory

I already tried deleting the contrib directory and running prepare_port again, as well as starting from a clean directory. Furthermore, it is just a clean checkout of the repo.

Googling the error message did not give me any useful results.

Any ideas what I should do?