Fix timing script to work with contrib/ prefixes

I'm going to merge this one immediately, because it's a small change that doesn't touch the library proper.