MASK games/bsdgames: they are from DragonFly