We have paid thunderstone on one server and free on another server that we use for tests. How can I copy profiles from one server to another. is there a file with all profile settings?