fix des malloc cast