Startup crash after upgrading to 17.2

Just updated from 17.1 to 17.2 on a Linux Mint (17 Qiana) system. Kodi doesn’t start, and I get this error:

Code:
/etc/mdm/Xsession: Beginning session setup...
localuser:xbmc being added to access control list
Script for none started at run_im.
Script for auto started at run_im.
Script for default started at run_im.
Script for none started at run_im.
Script for auto started at run_im.
Script for default started at run_im.
terminate called after throwing an instance of 'std::regex_error'
  what():  regex_error
Aborted (core dumped)
Crash report available at /home/xbmc/kodi_crashlog-20170524_093012.log
terminate called after throwing an instance of 'std::regex_error'
  what():  regex_error
Aborted (core dumped)
Crash report available at /home/xbmc/kodi_crashlog-20170524_093013.log
terminate called after throwing an instance of 'std::regex_error'
  what():  regex_error
Aborted (core dumped)
Crash report available at /home/xbmc/kodi_crashlog-20170524_093014.log
/usr/bin/kodi --standalone  has exited in an unclean state 3 times in the last 3 seconds.
Something is probably wrong

I created the advancedsettings.xml file, enabling loglevel 2, as per http://kodi.wiki/view/Log_file/Advanced#…_debugging – but after trying to start kodi again the log file date is from before the installation of 17.2, and all the entries in the log file (~/.kodi/temp/kodi.log) are all from the previous installation. (Guess I had logging on, didn’t know that.) Nothing is added there from the start-up anyway.
A new crash log is created each time however.

edit: Says “Log File is located: /home/xbmc/.kodi/temp//kodi.log” in the crash log – is that double slash supposed to be there?