fix settings icon displayed on the explorer pan l when no server has been set
remove obsolete distributions