Make the timer work again

It doesn't like parentheses, so pipe it through a script.