Put dynamically configurable stuff in Config.
Fix GHC warnings.