Rename full_manta.mk to hazy_manta.mk