Revert "linux: use /usr/lib64 on 64bit machines if it exists"