private static void unzip(string filename, string dest){
		string args = filename + " -d " + dest;

		Process p = new Process();
		p.StartInfo.FileName="/usr/bin/unzip";
		p.StartInfo.Arguments=args;
		p.Start();
		p.WaitForExit();
	}