Oh no! So sorry about that. Did pressing the escape key not work on linux? That gave the mouse pointer back for me, but I don't have a linux setup. I'll update the instructions to inform future players. I'll also look into updating the code so that it releases the mouse automatically after pressing the win button. That you for bug reporting this, I don't know what I was thinking.