EXTRA_DIST = properties