When upgrading from DevTest 8 to 9 or 10 is there a need for a new license file?