Fix #558 "setup" buttons in the config tool were broken