https://www.windowsblogitalia.com/2012/12/rilasciato-wp7-root-tools-0-13-corretti-i-bug-che-causavano-i-malfunzionamenti-della-versione-precedente/