Sorry about the delayed reply, did not have a chance to test it properly yesterday.
So, this is getting interesting.
Now I am not sure whether the fix is working or not as it could be just a coincidence.
For the sake of experiment, I decided to run it just once more *before* applying the fix, and it actually worked. Just magically worked all by itself. No lags and no crashes.
I guess I am going to keep the fix in, just to be on the safe side here...
But overall, it seems to be very random.