For Bitdefender 2011 and 2012, there was a tool named "Magnus" for taking the backup of settings which can restored by the same tool. In Bitdefender 2013, how can I take the backup of settings for re-installation? Magnus for 2013 version compiled or not?