Commit ab238dc6e4496f1d25bc008ef695ac49ee53ecd8

Gabriel Jacobo 2014-06-16T09:54:33

Assorted fixes for NaCl. Hat tip to Sylvain Becker