Taking into account renaming of session file in main GUI.
Authored by: brunoherbelin 2018-11-04
Parent: [r1805]
Child: [r1807]