cp third_party/pcsc-lite/src-*/src/PCSC/*.h "${instdir}/include/PCSC" || exit 1

		# Update some of the JavaScript files to provide a better interface
		## Create a message channel if one is not present
		sed -i '
			s@naclModuleMessageChannel.*opt_serverAppId@&, opt_naclElement@
			/opt_naclElement/ a \
if (naclModuleMessageChannel == null && opt_naclElement != null) { var logger = new GoogleSmartCard.Logging.getScopedLogger("NaclModule<>"); naclModuleMessageChannel = new GoogleSmartCard.NaclModuleMessageChannel(opt_naclElement, logger)); new GoogleSmartCard.NaclModuleLogMessagesReceiver(naclModuleMessageChannel, logger); }
		' third_party/pcsc-lite/naclport/cpp_client/src/nacl-client-backend.js

		## Do not log errors parsing messages -- not all of them are intended for you !
		sed -i '
			/if (!typedMessage)/,/}$/ d
			/parseTypedMessage/ a \
if (!typedMessage) { return; }