Hi Fabrice, > Commit 95b0078cc089b48be8973b9507599cc836397869 wrongly added > BUILD_RDISC_SERVER instead of ENABLE_RDISC_SERVER: > WARNING: Unknown options: "BUILD_RDISC_SERVER" Good catch, thanks! Kind regards, Petr