Correct path to NaCl module