settings: make sure we load the settings from file before anything else
settings: make sure we load the settings from file before anything else

Former-commit-id: 3fd704bc4a617d1c76ebe3f1953b8cdd61b43d73
Former-commit-id: 7c0c902fe6b46c97c6e24e57d502d9417c0bf7ff [formerly 1d33cba9aa859abf8496f0bce96fb5391566a217] [formerly ed6892780a1e8477e608bfd8efad82cd9eb44c42 [formerly e7e0189fbeebfa380dd4b2acd24ffb003dd0c027]]
Former-commit-id: 79a1f0b53841e800c71a90e6874045f1d9ca73bd [formerly 411f35f9b103f0d6226e2f1ebf2fb848b4b7d854]
Former-commit-id: c510f92c5280726f647fa0df03899cf89265abb2
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild