mit-scheme settings