EXTRA_DIST = properties.py signal.py option.py