On Thu, Jul 27, 2017 at 05:06:12PM +0100, Maciej W. Rozycki wrote: > Of course this relocation should still be handled correctly by the > dynamic loader. Oh, sure, and it is! But we added a warning to make this very obvious. Martin