Post-install script on Linux: delete OpenBoardUser.config file (avoids a crash if the config file comes from a version <= 1.10a3)