Fixing cryptominisat libraries location
1 file changed