- [GUI] more configuration options
- [DIST] bdist_rpm target does not work with anymore with new setup.py
