Changed default name of automatical saving of recorded files : was not
working under Windows.
Authored by: bruno.herbelin@gmail.com 2014-10-24
Parent: [r931]
Child: [r933]
