clean up NaCl module