Then I realized, that would have to go in the quit script rather than the
setup script...