Correct pathname of x86-64 dynamic loader