Actually, my problem turned out to be more or less unrelated to the mini_racer
bug, as I got my problem solved, maybe the discussion about mini racer should move to this topic.
Note to moderators: I can’t mark my last post as being a solution, it constantly toggles off.