In the meantime, I wrote a workaround tool which might help:
Main page with installation and usage instructions: https://github.com/edkennard/rekordbox-repair
Page to download packaged version of the tool for Mac or Windows: https://github.com/edkennard/rekordbox-repair/releases
Hope it helps :)