/lib64

On the current system (Debian), /lib64 is a symlink to /usr/lib64:

$ readlink -f /lib64
/usr/lib64