A few fixes for the call to the linker

(see the commits for descriptions)