changed location from settings.ini to user-wide settings directory .polymake in ~