* Fix four fingers joker effect stuck after game over * Fix game_over_on_exit() not removing owned jokers
Horváth Balázs