Use SM_PATH in config_default. Helps people who are editing it by hand.
Default server type here already was other.