/usr/lib/mono/4.5/Mono.CodeContracts.dll*
/usr/lib/mono/gac/Mono.CodeContracts/4.0.0.0__*/