rtcOccluded4(3) on Linux

The text eda911b5594e, as Debian 12 (Bookworm) shipped it.

rtcOccluded4(3) on Linux now