some more pharo settings