NaCl: linking these libraries should be done another, better way.