SuperTux is a handy, free (gpl) game also available for Windows, that belongs to the category PC games with subcategory Arcade.