libcoinlapack.so.1.5.6