Fix cargo filename