EXTRA_DIST = ws-properties.h
sdk_HEADERS = ws-properties.h