Runtime: Fix bugs in Linux target.

2023-02-17, Edouard Tisserant