Make has_lib.sh work properly on Debian 64 bit
Merge pull request #216 from aadamowski/master

make util/has_lib.sh work properly on Debian