I am unsure if this is the right way to go: On amd64 Debian jessie I see /lib64 but no /usr/lib64. Any ideas?