The argument of the self_build_stubs_archive is completely ignored, which doesn't seem right. It should be the name of the C library built by the user.