Build world error with PIE option

Hello,

I am trying to build -CURRENT with some custom build options, which are
the following:

WITH_EXTRA_TCP_STACKS=1
WITH_BEARSSL=1
WITH_PIE=1
WITH_RETPOLINE=1

But WITH_PIE=1 seems to break the build while linking sbin/veriexec with the
following error messages.

===> sbin/veriexec (all)
===> lib/libkvm/tests (all)
ld: error: unable to find library -lveriexec_pie
ld: error: unable to find library -lsecureboot_pie
ld: error: unable to find library -lbearssl_pie
cc: error: linker command failed with exit code 1 (use -v to see invocation)
--- veriexec.full ---
*** [veriexec.full] Error code 1

make[4]: stopped in /boiler/nfs/src/sbin/veriexec
1 error

make[4]: stopped in /boiler/nfs/src/sbin/veriexec
--- all_subdir_sbin/veriexec ---
*** [all_subdir_sbin/veriexec] Error code 2

Has anyone experienced the same error and was able to solve it? Or has anyone
an idea how to solve this problem?

Best regards,

Gordon