verious tweaks; factored out system-dependent settings into settings.inc