built with standard version
Merge pull request #136.
Re-enable ARM_security_properties example.