Wouldn't he need to be root to do dpkg? I saw nicolai say in another thread that he could save the file in MyDocs and then launch it from the file manager.