Revert "git clone https://code.google.com/p/mut3/"

This reverts commit 16a7fd688a3bb54c22ccfa12f6d5732c83e4c19e.