[FIX] WSMP solver library detection a little more robust.