fix a problem on fedora machines, where setuptools installs libraries in lib64 per default, rather than lib