#885: Minor fixes regarding SolidDB support including green ConcurrentMigrationTest