commsec-lib: export with the correct name in the header.