always save the session-specific include path, otherwise it gets lost when the user toggles between enable/disable