Thanks to everyone and especially to Igor! I’ve deleted the “fake” kernel.dll file and am back on track.