download the patch file into the root of the Workshop14 folder - that
is the folder that contains the source, docs, tsuite, data directoreies.

type

patch  -p0 -i patch.diff

then enter the folder where you built cloudy and type

make