Cerbot is 4.2, just to be clear the NETMF SDK version is matched to the Visual Studio version you want to use.
I quite happily run VS2012 and the NETMF SDK 4.3 and the GHI 4.2 SDK (2013 R3) as well as having the GHI 4.1 SDK installed as well for supporting my legacy devices (Pandas, Dominos, EM’s)