Updated NaCl files