Fixing compilation errors for NaCl port.