x-mario, the gaming distro