user specific settings should be given at config_user.py