use-external-slicot.patch
