tux500: Where are we now?